Internet Archive BookReader - A text-book of logic